Перевод: с английского на все языки

со всех языков на английский

(literal atom)

См. также в других словарях:

  • Literal (mathematical logic) — In mathematical logic, a literal is an atomic formula (atom) or its negation. The definition mostly appears in proof theory (of classical logic), e.g. in conjunctive normal form and the method of resolution. Literals can be divided into two types …   Wikipedia

  • Literal — Ein Literal ist ein spezieller Bestandteil einer formalen Sprache. Inhaltsverzeichnis 1 Literale in Programmiersprachen 1.1 Beispiele für Literale 2 Literale in der mathematischen Logik 3 …   Deutsch Wikipedia

  • Hydrogen atom — Stable Isotope isotope name = Hydrogen 1 isotope filename = hydrogen 1.png alternate names = protium mass number = 1 symbol = H num neutrons = 0 num protons = 1 abundance = 99.985% mass = 1.007825 spin = ½+ excess energy = 7288.969 error1 = 0.001 …   Wikipedia

  • Kingdom Come (comics) — Kingdom Come Cover to the Absolute Kingdom Come hardcover edition (2006). Art by Alex Ross. Publication information Publisher DC Comics …   Wikipedia

  • Anaxagoras and the atomists — C.C.W.Taylor ANAXAGORAS In the course of the fifth century BC the political and cultural pre eminence of Athens attracted to the city a considerable number of intellectuals of various kinds from all over the Greek world. This phenomenon, the so… …   History of philosophy

  • PIC microcontroller — PIC microcontrollers in DIP and QFN packages …   Wikipedia

  • History of the molecule — In chemistry, the history of the molecule traces the origins of the concept or idea of the existence of strong chemical bonds between two or more atoms. The modern concept of molecules can be traced back towards pre scientific Greek philosophers… …   Wikipedia

  • PHILOSOPHY, JEWISH — This article is arranged according to the following outline: WHAT IS JEWISH PHILOSOPHY? recent histories of jewish philosophy biblical and rabbinic antecedents bible rabbinic literature hellenistic jewish philosophy philo of alexandria biblical… …   Encyclopedia of Judaism

  • University of Cambridge — Latin: Academia Cantabrigiensis Motto Hinc lucem et pocula sacra (Latin) Motto in English …   Wikipedia

  • Clause (logic) — For other uses, see Clause (disambiguation). In logic, a clause is a finite disjunction of literals.[1] Clauses are usually written as follows, where the symbols li are literals: In some cases, clauses are written (or defined) as sets of literals …   Wikipedia

  • Mister Majestic — Cover of the first issue Publication information Publisher WildStorm …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»